1. <A> Concise introduction to pure mathematics
المؤلف: \ Martin Liebeck.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
2. <A> First Course in Logic
المؤلف: \ Shawn Hedman
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
رده :
E-Book
,
3. <A> First Course in Mathematical Logic and Set Theory
المؤلف: \ Michael L. O'Leary
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
4. <A> First Course in Modern Logic
المؤلف: \ Edith Watson Shipper and Edward Schuh
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
BC135
.
S33F5
1960
5. <A> Framework for Priority Arguments
المؤلف: / Manuel Lerman
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
6. <A> Logical Approach to Philosophy
المؤلف: \ edited by David Devidi and Tim Kenyon.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگره‌ها ,منطق ریاضی -- کنگره‌ها
رده :
E-Book
,
7. <A> Mathematical Introduction to Logic
المؤلف: \ Herbert B. Enderton
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
8. <A> course in mathematical logic for mathematicians
المؤلف: \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
9. Algebra, logic, and combinatorics
المؤلف: \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,ج‍ب‍ر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
10. Analysis and Synthesis of Logics
المؤلف: \ by Walter Carnielli...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
11. Automated Deduction – CADE-25
المؤلف: \ Amy P. Felty , Aart Middeldorp (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
76
.
9
.
A96
2015
E-Book
,
12. Beyond first order model theory
المؤلف: \ edited by Jose Iovino.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
13. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
المؤلف: \ Richard L. Epstein, Walter A. Carnielli
المکتبة: (طهران)
موضوع: توابع محاسبه‌پذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
رده :
QA
9
,.
59
.
E67
14. Discovering Patterns in Mathematics and Poetry
المؤلف: \ Marcia Birken and Anne C. Coon
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
رده :
E-Book
,
15. Elementary logic
المؤلف: / Benson Mates
المکتبة: (طهران)
موضوع: منطق ریاضی,Logic , Symbolic and mathematical
رده :
BC135
.
M37
16. Elements of Logical Reasoning
المؤلف: / Jan von Plato
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
17. Essays on the Foundations of Mathematics
المؤلف: \ Stephen Pollard, editor.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
18. Frege's Theorem
المؤلف: \ Richard G. Heck, Jr
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Frege, Gottlob, -- 1848-1925. ,Arithmetic -- Philosophy.,Logic, Symbolic and mathematical.,ف‍رگ، گ‍ات‍لاب،۱۹۲۵-۱۸۴۸ م.,حساب -- فلسفه,منطق ریاضی
رده :
B3245
.
F24
H43
2011
19. From Mathematics to Philosophy
المؤلف: \ Hao Wang
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
20. Frontiers of Combining Systems
المؤلف: \ Carsten Lutz, Silvio Ranise (eds.).
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a01,a01
رده :
QA
9
.
A1
F7
2015
E-Book
,
